Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Walid Belkhir »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Walid Barhoumi < Walid Belkhir < Walid Fdhila  Facettes :

List of bibliographic references indexed by Walid Belkhir

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000065 (2016-02-22) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France]Closed combination of context-embedding iterative strategies
000231 (2015-11-16) Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata
000243 (2015-11-05) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation
000319 (2015-09-21) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
000420 (2015-08-01) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Parametrized automata simulation and application to service composition
000885 (2014-11-03) Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France]A Symbolic Transformation Language and its Application to a Multiscale Method
000A04 (2014-08-05) Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France]A Parametrized Propositional Dynamic Logic with Application to Service Synthesis
000D08 (2014-01-03) Bin Yang [France] ; Walid Belkhir [France] ; Michel Lenczner [France]Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework
000F63 (2013-10-25) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Guarded Variable Automata over Infinite Alphabets
001015 (2013-09-22) Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France]Fresh-Variable Automata for Service Composition
002333 (2011-05-29) Walid Belkhir [France] ; Alain Giorgetti [France]Lazy AC-Pattern Matching for Rewriting
002335 (2011-05-29) Walid Belkhir [France] ; Alain Giorgetti [France]Lazy Rewriting Modulo Associativity and Commutativity
002477 (2011-01-17) Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France]Rewriting and Symbolic Transformations for Multiscale Methods
003D38 (2008-12-05) Walid Belkhir [France]Algebra and Combinatorics of Parity Games

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Walid Belkhir" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Walid Belkhir" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Walid Belkhir
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022